homotopic chain mapping

同伦链映射